$\forall$$a$, $b$, $c$, $d$:$\mathbb{Q}$. $a$ $\leq$ $b$ $\Rightarrow$ $c$ $\leq$ $d$ $\Rightarrow$ $a$ + $c$ $\leq$ $b$ + $d$